Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
421	COPYRIGHT NOTICE: Edward L. Rubin: Beyond Camelot is published by Princeton University Press and copyrighted, © 2005, by Princeton University Press. All rights reserved. No part of this book may be reproduced in any for Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2005-08-05 18:09:24 Ontology Concept Logic Philosophy of language Semantics Thought Natural and legal rights Nostalgia Ethics Cognition Mind
422	Journal of Pragmatics–432 www.elsevier.com/locate/pragma Literally speaking Michael Israel* Max Planck Institute for Evolutionary Anthropology, Inselstrasse 22-26, DLeipzig, Germany Add to Reading List Source URL: unfogged.com Language: English - Date: 2009-02-17 15:03:07 Analytic philosophy Meaning Pragmatics Philosophical logic Implicature Idiom Literal and figurative language Cooperative principle Word Linguistics Philosophy of language Semantics
423	Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Combinatory logic Lambda calculus Logic in computer science Futures and promises Evaluation strategy Monitor Forward contract Contract Computing Theoretical computer science Software engineering
424	Vagueness Rick Nouwen, Robert van Rooij, Uli Sauerland & Hans-Christian Schmitz No Institute Given 1 Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 05:10:02 Science Fuzzy logic Philosophy of language Critical thinking Veracity Vagueness Supervaluationism Sorites paradox Degree of truth Logic Semantics Philosophy
425	Two puzzles about requirements Rick Nouwen June 17, 2010 Abstract I discuss the semantics of statements of minimum and maximum requirement. I show that, on standard assumptions, such statements receive a non-sensical int Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 04:55:27 Modal logic Non-classical logic Possibility Linguistic modality Entailment Interpretation Possible world Maxima and minima Quantification Logic Philosophical logic Semantics
426	On wh-exclamatives and noteworthiness? Anna Chernilovskaya and Rick Nouwen Utrechts Instituut voor Lingu¨ıstiek 1 Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 05:04:07 Grammar Mathematical logic Model theory Predicate logic Interpretation Philosophy of language Quantification Function Predicate Semantics Logic Linguistics
427	Handlers of Algebraic Effects Gordon Plotkin ? and Matija Pretnar Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Topology Symbol Denotational semantics Monad Model theory Sheaf Orbifold Μ operator Theoretical computer science Logic in computer science Mathematics
428	Consistent Query Answering in Databases∗ Leopoldo Bertossi Carleton University School of Computer Science Ottawa, Canada. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:49 Data Query languages Database management systems Logic programming Logic Conjunctive query SQL Stable model semantics Data integration Data management Computing Database theory
429	On the use of questionnaires in semantic fieldwork: A case study in modality Jozina Vander Blok Proceedings of Conference on Language Documentation and Linguistic Theory 4 Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2014-11-06 08:59:05 Grammar Philosophical logic Modal logic Semantics Linguistic modality Epistemic modality Evidentiality Deontic modality Auxiliary verb Logic Linguistics Grammatical moods
430	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic

UPDATE